define i32 main() {
B24:
  t43 = alloca i32, align 4
  t39 = alloca i32, align 4
  t28 = alloca i32, align 4
  t27 = alloca i32, align 4
  t26 = alloca i32, align 4
  t25 = alloca i32, align 4
  store i32 1, i32* t25, align 4
  store i32 2, i32* t26, align 4
  store i32 3, i32* t27, align 4
  t3 = load i32, i32* t25, align 4
  t30 = icmp ne i32 t3, 0
  t4 = xor i1 t30, true
  t32 = zext i1 t4 to i32
  store i32 t32, i32* t28, align 4
  t7 = load i32, i32* t25, align 4
  t35 = icmp ne i32 t7, 0
  t8 = xor i1 t35, true
  t37 = zext i1 t8 to i32
  store i32 t37, i32* t28, align 4
  t11 = load i32, i32* t25, align 4
  t41 = icmp ne i32 t11, 0
  t12 = xor i1 t41, true
  t13 = sub i32 0, t12
  store i32 t13, i32* t39, align 4
  t14 = load i32, i32* t25, align 4
  t15 = load i32, i32* t26, align 4
  t46 = icmp ne i32 t15, 0
  t16 = xor i1 t46, true
  t48 = zext i1 t16 to i32
  t17 = add i32 t14, t48
  store i32 t17, i32* t43, align 4
  t19 = load i32, i32* t25, align 4
  t20 = load i32, i32* t26, align 4
  t21 = icmp sgt i32 t19, t20
  t54 = zext i1 t21 to i32
  t22 = icmp sgt i32 t54, 0
  br i1 t22, label %B50, label %B58
B50:                               	; preds = %B24
  br label %B51
B58:                               	; preds = %B24
  br label %B51
B51:                               	; preds = %B50, %B58
  t23 = load i32, i32* t25, align 4
  ret i32 t23
}
